Modellbasierte Entwicklung von Web Services mit Design by Contract
نویسندگان
چکیده
Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Implementierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Vergleich von Requestorund Provider-Kontrakten ein. Damit wird eine automatisierte, semantische Suche nach Web Services möglich. Wir erläutern zudem eine modellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschreibungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementierung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt.
منابع مشابه
Modellbasierte Entwicklung von eingebetteten Fahrzeugfunktionen
Die modellbasierte Entwicklung von Komfortund Innenraumfunktionen hat sich in den letzen Jahren etabliert. Ausgehend von den bisherigen Erfahrungen mit der modellbasierten Funktionsentwicklung werden die Vorteile der standardisierten AUTOSAR-Architektur und zugehöriger Beschreibungsformate aufgezeigt. Der Beitrag beschreibt das Vorgehen bei der schrittweisen Umstellung der modellbasierten Entwi...
متن کاملDagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme IX, Schloss Dagstuhl, Germany, April 24-26, 2013, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme
In der modellbasierten Entwicklung eingebetteter Software, insbesondere im Automobilbereich, wird Matlab/Simulink verbreitet eingesetzt. Im Rahmen der Modellerstellung, -wartung und -pflege häufig benötigte Änderungen an den Modellen, wie die Restrukturierung der Modellstruktur und Generierung von Modellkonstrukten, werden überlicherweise manuell, mit den vorhandenen Modellierungsmitteln des Si...
متن کاملPlädoyer für die Entwicklung perspektivenspezifischer Problemlösungskomponenten zur Unterstützung der Prozessverbesserung
Ein wesentliches Charakteristikum des Business Process Engineering stellt die modellbasierte Prozessanalyse und -verbesserung dar. Zur Modellerstellung selbst liegt eine Vielzahl von Modellierungstechniken vor. Die methodische Unterstützung der Analyse von Ist-Modellen und die darauf basierende Entwicklung von Soll-Modellen weist Entwicklungspotenziale auf. Der Beitrag stellt einen multiperspek...
متن کاملVariabilität im modelbasierten Engineering von eingebetteten Systemen
Die modellbasierte Entwicklung eingebetteter Systeme (MBE) mit Hilfe von Werkzeugen wie Simulink ist eine bekannte Vorgehensweise und in der industriellen Praxis weit verbreitet. Wenn diese Vorgehensweise auf eine Menge gleichartiger Systeme angewandt wird, können Ansätze aus der modellbasierten Entwicklung und dem Produktlinien-Engineering kombiniert werden. Dabei stellen sich jedoch Herausfor...
متن کاملModelbasierte Softwareentwicklung mit SCADE in der Eisenbahnautomatisierung
Zusammenfassung: Wir berichten in diesem Beitrag über ein momentan laufendes Pilotprojekt zur modellbasierten Entwicklung sicherheitsrelevanter Software bei Siemens Mobility im Bereich Eisenbahnautomatisierung. In der Pilotierung benutzen wir SCADE Version 6, ein Tool für die modellbasierte Entwicklung sicherheitsrelevanter Software von der Firma Esterel Technologies. Wir stellen kurz die wesen...
متن کامل